Ologs: A Categorical Framework for Knowledge Representation
نویسندگان
چکیده
منابع مشابه
Ologs: A Categorical Framework for Knowledge Representation
In this paper we introduce the olog, or ontology log, a category-theoretic model for knowledge representation (KR). Grounded in formal mathematics, ologs can be rigorously formulated and cross-compared in ways that other KR models (such as semantic networks) cannot. An olog is similar to a relational database schema; in fact an olog can serve as a data repository if desired. Unlike database sch...
متن کاملA Knowledge Representation Framework
We introduce a uniform non-monotonic framework for knowledge representation based on epistemic logic which is sufficiently general to encompass several nonmonotonic formalisms, including circumscription, autoepistemic logic, various semantics proposed for logic programs and deductive databases (stable semantics, well-founded semantics and stationary semantics) as well as Gelfond’s epistemic spe...
متن کاملA Hierarchical Systems Knowledge Representation Framework
We present the design and implementation of a framework for storing and analysing knowledge about engineering systems. The hierarchical entity-relation-attribute model is useful for large data sets, in which it can abstract details so that human users are able to reason about the data. The time-series extension to the model abstracts temporal details. Finally, the implementation of the model in...
متن کاملKnowledge Representation in Bicategories of Relations
We introduce the relational ontology log, or relational olog, a knowledge representation system based on the category of sets and relations. It is inspired by Spivak and Kent’s olog, a recent categorical framework for knowledge representation. Relational ologs interpolate between ologs and description logic, the dominant formalism for knowledge representation today. In this paper, we investigat...
متن کاملOn a Unifying Framework for Comparing Knowledge Representation Schemes
Given the numerous knowledge representation models (KR-schemes) that have been proposed, it would be desirable to have a formal, unifying model for the description of a KR-scheme, as well as a general method of comparing KR-schemes in terms of expressive power. This work attempts to fill this gap, by proposing an elegant, yet very general, model of describing KR-schemes. This formalization is u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: PLoS ONE
سال: 2012
ISSN: 1932-6203
DOI: 10.1371/journal.pone.0024274